@$i$ stable ${\it state}$.$P$(${\it state}$)  
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$@$i$. $P$((discrete state when $e$)) $\Rightarrow$ $P$((discrete state after $e$))